Trait isotope::ctx::subst::EvalCtx [−][src]
pub trait EvalCtx: SubstCtx { fn push_subst(&mut self, subst: TermId) -> Result<(), Error>; fn pop_subst(&mut self) -> Result<(), Error>; }
Expand description
A context for evaluating terms
Required methods
Push a substitution onto this context